Mémoire sur les équations différentielles dont l'intégrale générale est uniforme
نویسندگان
چکیده
منابع مشابه
Approximation of solution branches of nonlinear equations
We present a gênerai theory for the approximation of regular and bifurcating branches of solutions ofnonhneat équations It can be apphed to numerous problems, including different ial équations on unbounded domains, in connection with vanous numencal algonthms, for example Galerkin methods with numencal intégration Résumé —On présente une théorie générale de l'approximation de branches, régulièr...
متن کاملApprentissage statistique à grande echelle
De nombreux problèmes d’apprentissage statistique à grande échelle sont formulés comme l’optimisation d’une fonction convexe dont on n’observe que des gradients bruités: cette fonction est typiquement l’erreur de généralisation, et seulement l’erreur sur une observation est disponible à chaque itération. Les algorithmes utilisés en pratique donnent lieu à des garanties de convergence dont l’etu...
متن کاملApproximation of eigenvalues of differential equations with non-smooth coefficients
— The eigenvalues of second order, one dimensional, generahzed eigenvalue problem with non-smooth coefficients are approximated by using the j£f 2 Finite Element method This method was introduced in [4] in the context of approximation of the solution of differential équations with non-smooth coefficients In this paper, error estimâtes for eigenvalues as well as eigenvector s are denved Resumé —...
متن کاملWeb sémantique pour la mémoire d'expériences d'une communauté scientifique : le projet MEAT
Résumé. Cet article décrit le projet MEAT (Mémoire d'Expériences pour l'Analyse du Transcriptome) dont le but est d'assister les biologistes travaillant dans le domaine des puces à ADN, pour l'interprétation et la validation de leurs résultats. Nous proposons une aide méthodologique et logicielle pour construire une mémoire d'expériences pour ce domaine. Notre approche, basée sur les technologi...
متن کاملMémoire d ' Habilitation à Diriger les Recherches
Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin de la Société mathématique de France
سال: 1900
ISSN: 0037-9484,2102-622X
DOI: 10.24033/bsmf.633